Local programming - PDFSEARCH.IO - Document Search Engine

Local programming
Results: 648

#	Item
121	Distributed Algorithms for DCOP: A Graphical-Game-Based Approach Rajiv T. Maheswaran, Jonathan P. Pearce and Milind Tambe Department of Computer Science University of Southern California Los Angeles, CA, 90089 Add to Reading List Source URL: teamcore.usc.edu Language: English - Date: 2008-10-14 03:56:56 Distributed constraint optimization Constraint optimization Local search Constraint programming Mathematical optimization Operations research
122	Journal of Artificial Intelligence Research Submitted 10/10; publishedSoft Constraints of Difference and Equality Emmanuel Hebrard Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2011-06-09 12:13:27 Computer programming Local consistency Constraint satisfaction Mathematical optimization FO Polynomial Parameterized complexity Decomposition method AC-3 algorithm Constraint programming Software engineering Theoretical computer science
123	Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning Rina Dechter Department of Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-14 17:35:41 Constraint optimization Mathematical optimization Mathematics Computer programming Local consistency Bayesian network Bucket Bucket sort Radix sort Constraint programming Computing Sorting algorithms
124	A General Scheme for Automatic Generation of Search Heuristics from Specification Dependencies ∗ Kalev Kask and Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2001-04-25 16:34:08 Applied mathematics Decomposition method Constraint optimization Search algorithm A* search algorithm Constraint satisfaction problem Local search Heuristic function Constraint satisfaction Mathematics Theoretical computer science Constraint programming
125	Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Mathematics Local consistency Constraint satisfaction Mathematical optimization Boolean satisfiability problem Belief propagation Bayesian network Graphical model Constraint optimization Constraint programming Theoretical computer science Software engineering
126	Filtering Algorithms for the NValue Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 LIRMM-CNRS Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Local consistency Constraint satisfaction Interval graph Linear programming Intersection graph Decomposition method Median graph Constraint programming Graph theory Theoretical computer science
127	Unifying Cluster-Tree Decompositions for Reasoning in Graphical models∗ Kalev Kask∗ , Rina Dechter∗ , Javier Larrosa∗∗ and Avi Dechter∗∗∗ ∗ Bren School of Information and Computer Science, Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2005-04-17 02:08:23 Constraint graph Tree decomposition Bayesian network Graphical model Constraint satisfaction Directed acyclic graph Graph Local consistency Complexity of constraint satisfaction Graph theory Constraint programming Decomposition method
128	Journal of Artificial Intelligence Research–442 Submitted 07/08; publishedSolving #S AT and Bayesian Inference with Backtracking Search Fahiem Bacchus Add to Reading List Source URL: jair.org Language: English - Date: 2009-03-28 16:44:23 Mathematics Backtracking DPLL algorithm Bayesian network Tree decomposition Constraint optimization Algorithm Decomposition method Local consistency Constraint programming Declarative programming Graph theory
129	The Complexity of Global Constraints Christian Bessiere Emmanuel Hebrard and Brahim Hnich and Toby Walsh∗ LIRMM Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:27 Computer programming Local consistency Constraint satisfaction Constraint logic programming Co-NP-complete NP-complete Decomposition method Complexity of constraint satisfaction Constraint programming Software engineering Theoretical computer science
130	Automatically Generating Algebra Problems Rohit Singh∗ Sumit Gulwani Sriram Rajamani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-24 02:24:40 Software engineering Constraint satisfaction problem Backtracking Function FO Mathematical optimization Decomposition method Local consistency Constraint programming Mathematics Theoretical computer science

UPDATE